Nuprl Definition : assoced
11,40
postcript
pdf
assoced(
a
;
b
) == divides(
a
;
b
)
divides(
b
;
a
)
latex
Definitions
P
Q
,
divides(
b
;
a
)
FDL editor aliases
assoced
origin
divides(b; a) divides(b; a) Q